Liberal Typing for Functional Logic Programs

We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we propose a new notion of well-typed program that adds support for type-indexed functions, existential types, opaque higher-order patterns and generic functions-as shown by an extensive collection of examples that illustrate the possibilities of our proposal. In the negative side, the types of functions must be declared, and therefore types are checked but not inferred. Another consequence is that parametricity is lost, although the impact of this flaw is limited as "free theorems" were already compromised in functional logic programming because of non-determinism

Simulations of Alfvénic modes in TJ-II Stellarator

Alfvénic modes are one of the subclass of instabilities prevalent in burning plasmas due to interaction of energetic particles with background plasma. In this paper we investigate the properties of these modes with 3D simulations using modeling tools STELLGAP [1] and AE3D [2] of Neutral Beam Injection (NBI) heated H-plasmas in TJ-II low-magnetic-shear flexible heliac (B0 = 0.95 T, = 1.5 m, = 0.22 m). These simulations focus on modelling the experimental observations [3] for prominent modes in TJ-II plasmas. Our simulations show consistency in frequency and radial location with the measured Alfvén Eigenmodes [3]. These simulations are performed for chirping and steady modes in TJ-II discharge # 29839 at t = 1150 and 1160ms respectively

Observation of confined current ribbon in JET plasmas

we report the identification of a localised current structure inside the JET plasma. It is a field aligned closed helical ribbon, carrying current in the same direction as the background current profile (co-current), rotating toroidally with the ion velocity (co-rotating). It appears to be located at a flat spot in the plasma pressure profile, at the top of the pedestal. The structure appears spontaneously in low density, high rotation plasmas, and can last up to 1.4 s, a time comparable to a local resistive time. It considerably delays the appearance of the first ELM.Comment: 10 pages, 6 figure

The role of depression in the prediction of a "late" remission in first-episode psychosis:An analysis of the OPTiMiSE study

Objective: The identification of predictors of psychosis remission could guide early clinical decision-making for treatment of first-episode schizophrenia (FES). Methods: We analyzed two non-independent subsamples of patients with FES ages 18-40 years from the OPTiMiSE study dataset to investigate the demographic and clinical factors that might help to differentiate "late" re-mitters (i.e., not in remission at week 2 or 4, but achieving remission within a 10-week follow-up period) from non-remitters within the same period. Results: Subsample 1 included 216 individuals (55 females, mean age 25.9 years) treated with amisulpride in an open-label design who were not in remission at week 2. Early symptomatic response between baseline and week 2 (odds ratio (OR)- 4.186, 95% confidence interval (CI)- 2.082-8.416, p < 0.001) and older age (OR- 1.081, 95% = CI 1.026-1.138, p- 0.003) were the only variables significantly associated with a higher probability of psychosis remission at week 4. Subsample 2 was composed of the 72 participants (19 females, mean age 25.1 years) who were not in remission at week 4 and completed a 6-week double-blind randomized trial comparing continuation of amisulpride with switch to olanzapine. Depression at baseline (as measured with the Calgary Depression Scale for Schizophrenia) was significantly associated with a nearly 3-fold lower likelihood of psychosis remission during the 10-week follow-up (hazard ratio = 2.865, 95% CI = 1.187-6.916, p = 0.019). Conclusion: Our results reinforce the importance of assessing depressive symptoms in people with FES and support the relevance of an early response (as early as 2 weeks) as a predictor of clinical outcome in this population. (C) 2021 Elsevier B.V. All rights reserved

Compiling a Functional Logic Language: The Fair Scheme

Abstract. We present a compilation scheme for a functional logic programming language. The input program to our compiler is a constructor-based graph rewrit-ing system in a non-confluent, but well-behaved class. This input is an interme-diate representation of a functional logic program in a language such as Curry or T OY. The output program from our compiler consists of three procedures that make recursive calls and execute both rewrite and pull-tab steps. This output is an intermediate representation that is easy to encode in any number of programming languages. Our design evolves the Basic Scheme of Antoy and Peters by removing the “left bias ” that prevents obtaining results of some computations—a behavior related to the order of evaluation, which is counter to declarative programming. The benefits of this evolution are not only the strong completeness of computa-tions, but also the provability of non-trivial properties of these computations. We rigorously describe the compiler design and prove some of its properties. To state and prove these properties, we introduce novel definitions of “need ” and “fail-ure. ” For non-confluent constructor-based rewriting systems these concepts are more appropriate than the classic definition of need of Huet and Levy

Inorganic and organic geochemical fingerprinting of sediment sources and ocean circulation on a complex continental margin (São Paulo Bight, Brazil)

In this study, we use inorganic (metal) and organic (bulk and molecular) markers in sediment samples of the south-eastern Brazilian margin to investigate the response of geochemical fingerprints to the complex hydrodynamic processes present in the area. Results indicate the potential of export of terrigenous siliciclastic and organic constituents to the upper slope, even in an area with limited fluvial supply. Metal contents and especially the ln(Ti = Al) and ln(Fe = K) ratios make it possible to recognise the extension of shelf sediments toward the upper slope. Potassium, here expressedas ln(K = Sc) and ln(K = Al) ratios used as proxies of illite–kaolinite variations, proved to be an important parameter, especially because it allowed us to decipher the imprint of the northward flow of the Intermediate Western Boundary Current (IWBC) in comparison to the southward flows of the Brazil Current (BC) and Deep Western Boundary Current (DWBC). Using organic matter analyses, we were able to evaluate the extent of terrestrial contributions to the outer shelf and slope, even without the presence of significant fluvial input. In addition, molecular markers signify a slight increase in the input of C4-derived plants to the slope sediments, transported from distant areas by the main alongshore boundary currents, indicating that the terrestrial fraction of the organic matter deposited on the slope has a distinct origin when compared to shelf sediments

Artículos publicados en el diario El País sobre Antonio Fernández Alba

Artículos publicados sobre Antonio Fernández Alba en el diario El Paí

Cognitive clusters in first-episode psychosis

Impairments in a broad range of cognitive domains have been consistently reported in some individuals with first-episode psychosis (FEP). Cognitive deficits can be observed during the prodromal stage. However, the course of cognitive deficits is still unclear. The aim of this study was to identify cognitive subgroups over time and to compare their sociodemographic, clinical and functional profiles. A total of 114 patients with Schizophrenia Spectrum Disorders were included in the present study. We assessed subjects through psychiatric scales and eight neuropsychological tests at baseline and at two-year follow-up visit. We performed the Partition Around Medoids algorithm with all cognitive variables. Furthermore, we performed a logistic regression to identify the predictors related to the different cognitive clusters at follow-up. Two distinct subgroups were found: the first cluster characterized by cognitive impairment and a second cluster had relatively intact cognition in comparison with norms. Up to 54.7% of patients with cognitive deficits at baseline tended to improve during the first two years of treatment. Patients with intact cognition at follow-up had a higher socioeconomic status, later age of onset, lower negative symptoms and a higher cognitive reserve (CR) at baseline. CR and age of onset were the baseline variables that predicted cognitive impairment. This research allows us to obtain a better understanding of the heterogeneous profile of psychotic disorders. Identifying the characteristics of patients who will present a cognitive impairment could improve early detection and intervention. These results suggest that enhancing CR could contribute to improving the course of the illness. © 2021 Elsevier B.V